Changing cofinalities and collapsing cardinals in models of set theory
نویسندگان
چکیده
منابع مشابه
Collapsing the Cardinals of Hod
Assuming that GCH holds and κ is κ+3-supercompact, we construct a generic extension W of V in which κ remains strongly inaccessible and (α+)HOD < α+ for every infinite cardinal α < κ. In particular the rank-initial segment Wκ is a model of ZFC in which (α+)HOD < α+ for every infinite cardinal α.
متن کاملOperational set theory and small large cardinals
Article history: Received 5 December 2006 Revised 21 April 2008 Available online 11 April 2009 A new axiomatic system OST of operational set theory is introduced in which the usual language of set theory is expanded to allow us to talk about (possibly partial) operations applicable both to sets and to operations. OST is equivalent in strength to admissible set theory, and a natural extension of...
متن کاملInterpretability logics and large cardinals in set theory
This paper is a first exploration how the modal logic of interpretability can play a role in the study of large cardinals in set theory. First we reason that such a role is likely to be fruitful. Next, for two particular readings of the binary modality we study its repercussions for the corresponding logic. The first reading of A B is “Inside any Vκ where A holds we can find a Vκ′ where B holds...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولChanging Cardinal Characteristics without Changing Ω-sequences or Cofinalities
We show: There are pairs of universes V1 ⊆ V2 and there is a notion of forcing P ∈ V1 such that the change mentioned in the title occurs when going from V1[G] to V2[G] for a P -generic filter G over V2. We use forcing iterations with partial memories. Moreover, we implement highly transitive automorphism groups into the forcing orders.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2003
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(02)00067-2